A theorem proving framework for the formal verification of Web Services Composition Petros Papapanagiotou Jacques D. Fleuriot

Source URL: rap.dsi.unifi.it

DTorial: An interactive tutorial framework for blind users in a Web 2.0 world Joshua Hailpern1, Loretta Guarino Reid2, Richard Boardman2 1 University of Illinois at Urbana Champaign. 201 N Goodwin Ave, Urbana, IL 61801

Source URL: social.cs.uiuc.edu

ARCHER Technical Assessment Form: Grant, RAP, Leadership Applications 0238125Note: this form is for standard grant applications (usually via J-eS), RAP and Leadership applications only. Technical Assessment forms for oth

Source URL: www.archer.ac.uk

• Computing
• Semantic Web
• Data
• Knowledge representation
• World Wide Web Consortium
• Resource Description Framework
• Speedup

This document is part of the Network of Excellence “Multilingual Europe Technology Alliance (META-NET)”, co- funded by the 7th Framework Programme of the European Commission through the T4ME grant agreement no.: 2491

Source URL: metashare.nb.no

• Business intelligence
• Data management
• Knowledge representation
• Records management
• Technical communication
• Web search engine
• Resource fork
• Search engine optimization
• Search engine technology
• Meta element
• File Explorer

A Software Framework For Matchmaking Based on Semantic Web Technology Lei Li Ian Horrocks

Source URL: www.cs.man.ac.uk

EBU – TECHEBU Core Metadata Set (EBUCore) Source: EC-M

Source URL: archive.ert.gr

• Computing
• Data
• Information
• Knowledge representation
• Semantic Web
• Technical communication
• Records management
• Dublin Core
• Resource Description Framework
• Metadata
• AgMES
• PBCore

1 BASIC FEATURES PoolParty’s core competencies at a glance 2

Source URL: www.poolparty.biz

• Information science
• Knowledge representation
• Semantic Web
• Information
• School of Computer Science
• University of Manchester
• Thesauri
• Simple Knowledge Organization System
• Thesaurus
• Resource Description Framework
• Controlled vocabulary
• Taxonomy
• AGROVOC

User-centered Security Management of API-based Data Integration Workflows

Source URL: demo.a-sit.at

• Cloud standards
• Computer access control
• OAuth
• Federated identity
• Cloud infrastructure
• XACML
• Cloud computing
• User-Managed Access
• Application programming interface
• Web 2.0
• Spring Framework

Exmo bibliographyaguirre2012a] José Luis Aguirre, Bernardo Cuenca Grau, Kai Eckert, Jérôme Euzenat, Alfio Ferrara, Willem Robert van Hage, Laura Hollink, Ernesto Jiménez-Ruiz, Christian Meilicke, Andri

Source URL: exmo.inria.fr

• Computing
• Semantic Web
• Information science
• World Wide Web Consortium
• Knowledge representation
• Resource Description Framework
• Knowledge engineering
• Web services
• RDF Schema
• Ontology
• SPARQL
• Conceptual graph

A FRAMEWORK OF ROGERS–RAMANUJAN IDENTITIES AND THEIR ARITHMETIC PROPERTIES MICHAEL J. GRIFFIN, KEN ONO, AND S. OLE WARNAAR In memory of Basil Gordon and Alain Lascoux Abstract. The two Rogers–Ramanujan q-series ∞

Source URL: web.math.princeton.edu